Cartesian 閉圈 (CCC)
cartesian closed category
デカルト閉圏 - Wikipedia
cartesian closed category in nLab
終對象
$ 1
、
積 (圈)
$ \times
、
冪對象
を持つ
圈